Vers l'auto-stabilisation des systèmes à grande échelle. (Toward self-stabilizing large-scale systems)

. In Gerard Tel and PaulM. B. Vitányi, editors,Distributed Al-gorithms, 8th International Workshop, WDAG ’94, volume 857 of LectureNotes in Computer Science, pages 326–339. Springer, 1994. [11] Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, and FrédéricMagniette. Proving convergence of self-stabilizing systems usingfirst-order rewriting and regular languages. Distributed Computing,14(2) :83–95, 2001. [12] Joffroy Beauquier, Stéphane Cordier, and Sylvie Delaët. Optimumprobabilistic self-stabilization on uniform rings. In Proceedings on theWorkshop on Self-stabilizing Systems, pages 15.1–15.15, 1995. [13] Joffroy Beauquier, Ajoy Kumar Datta, and Sébastien Tixeuil. Self-stabilizing sorting on unidirectional rings. Technical Report 1174,Laboratoire de Recherche en Informatique, May 1998. [14] Joffroy Beauquier, Ajoy Kumar Datta, and Sébastien Tixeuil. Self-stabilizing census with cut-through constraints. In Anish Arora, edi-tor, 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas,June 1999. IEEE Computer Society. [15] Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, and Sébastien Tixeuil.Transient fault detectors. In Shay Kutten, editor, Distributed Compu-ting, 12th International Symposium, DISC ’98, Andros, Greece, September24-26, 1998, Proceedings, pages 62–74. Springer, 1998. [16] Joffroy Beauquier, Christophe Genolini, and Shay Kutten. Optimalreactive -stabilization : The case of mutual exclusion. In Proceedingsof the Eighteenth Annual ACM Symposium on Principles of DistributedComputing, pages 209–218, 1999. [17] Joffroy Beauquier, Maria Gradinariu, and Colette Johnen. Memoryspace requirements for self-stabilizing leader election protocols. InProceedings of the ACM Conference on Principles of Distributed Compu-ting (PODC 99), pages 199–208, 1999. [18] Joffroy Beauquier, Shay Kutten, and Sébastien Tixeuil. Self-stabilization in eulerian networkswith cut-through constraints. Tech-nical Report 1200, University of Paris Sud XI, Laboratoire de Re-cherche en Informatique, January 1999. [19] James E. Burns and Jan K. Pachl. Uniform self-stabilizing rings. ACMTrans. Program. Lang. Syst., 11(2) :330–344, 1989. [20] David Cavin, Yoav Sasson, and André Schiper. Consensus with unk-nown participants or fundamental self-organization. In Ioanis Ni-kolaidis, Michel Barbeau, and Evangelos Kranakis, editors, Ad-Hoc,Mobile, and Wireless Networks : Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004. Proceedings, volume3158 of Lecture Notes in Computer Science, pages 135–148. Springer,2004.